Introduction

The axiomatic system is the greatest invention of algebra.